Utjevner (matematikk)

En utjevner eller differansekjerne for to eller flere funksjoner mellom to mengder består av de elementene der funksjonene er identiske. En utjevner utgjør løsningsmengden til en eller flere likninger.

Definisjon

For en generell kategori defineres en utjevner ved hjelp av følgende universelle egenskap: For to morfier f : X → Y og g : X → Y, er en utjevner et objekt E og en morfi eq : E → X slik at $f\circ eq=g\circ eq$, og slik at enhver annen funksjon m : O → X slik at $f\circ m=g\circ m$ faktoriserer unikt gjennom E, dvs. det eksisterer en unik u : O → E slik at $m=eq\circ u$.

Eksterne lenker

• Interactive Web page which generates examples of equalizers in the category of finite sets. Written by Jocelyn Paine
• Om utjevner, fra nLab (engelsk)